Search results for "Modus ponen"

showing 2 items of 2 documents

Conditional reasoning by mental models: chronometric and developmental evidence

2000

The aim of this article is to verify two predictions resulting from the mental models theory of conditional reasoning. First, the denial of antecedent (DA) and modus tollens (MT) inferences should take longer to verify than modus ponens (MP) and affirmation of consequent (AC) because the former require subjects to flesh out the initial model whereas the latter do not. This prediction was confirmed in two reaction time experiments in adults. In line with Evans' proposal (Evans, J. St. B. T. (1993). The mental model theory of conditional reasoning: critical appraisal and revision. Cognition, 48, 1-20), there was a strong directionality effect: inferences from antecedent to consequent (MP and …

AdultLinguistics and LanguageAdolescentAntecedent (logic)Cognitive NeuroscienceInferenceExperimental and Cognitive PsychologyCognitionConditional reasoningLanguage and LinguisticsModus tollensCognitionReaction TimeDevelopmental and Educational PsychologyCognitive developmentHumansChildPsychological TheoryConstruct (philosophy)PsychologyModus ponensSocial psychologyCognitive psychologyCognition
researchProduct

Generalized probabilistic modus ponens

2017

Modus ponens (from A and “if A then C” infer C) is one of the most basic inference rules. The probabilistic modus ponens allows for managing uncertainty by transmitting assigned uncertainties from the premises to the conclusion (i.e., from P(A) and P(C|A) infer P(C)). In this paper, we generalize the probabilistic modus ponens by replacing A by the conditional event A|H. The resulting inference rule involves iterated conditionals (formalized by conditional random quantities) and propagates previsions from the premises to the conclusion. Interestingly, the propagation rules for the lower and the upper bounds on the conclusion of the generalized probabilistic modus ponens coincide with the re…

Discrete mathematicsSettore MAT/06 - Probabilita' E Statistica MatematicaProbabilistic logicConjoined conditionalPrevision0102 computer and information sciences02 engineering and technologyCoherence (philosophical gambling strategy)Settore MAT/01 - Logica MatematicaModus ponen01 natural sciencesConditional random quantitieTheoretical Computer ScienceModus ponendo tollens010201 computation theory & mathematicsIterated functionComputer Science0202 electrical engineering electronic engineering information engineeringIterated conditional020201 artificial intelligence & image processingRule of inferenceModus ponensCoherenceEvent (probability theory)Mathematics
researchProduct